/FONT#1=NGB25/FONT#2=BDJ25[  1,RWG]/FONT#3=BDJ20/FONT#4=GRKL50/FONT#5=GRKL30/FONT#6=BDR40/FONT#7=BDI25/FONT#8=BASL30/FONT#9=BASI30/FONT#10=BASB30/FONT#11=SUP/FONT#12=SUB/FONT#13=MISC25/FONT#14=GRK30/FONT#15=FIX20/TMAR=200/PMAR=1992/BMAR=2
␈↓↓␈↓α␈↓β␈↓∧␈↓¬␈↓ε␈↓π␈↓ε␈↓λ␈↓	␈↓
␈↓␈↓␈↓
␈↓∞␈↓∂␈↓ β←␈β↓H␈↓
m␈↓2␈↓
a␈↓2␈↓

␈↓ β␈β↓K␈↓
.
␈↓ βH␈β↓N␈↓
1
␈↓ βU␈↓λ ␈↓ β⊂␈↓λ = - ␈↓ αx␈β↓←␈↓λm
␈∧↓mβ←αC␈∧↓mβGα
␈↓ βw␈↓
P␈↓ βG␈β↓q␈↓
2
␈↓ ↓H␈β↓u␈↓π
␈↓ ↓H␈βα ␈↓␈↓λ␈↓	␈↓λ␈↓ ↓H